Abstraction Layers for Scalable Microfluidic Biocomputers

نویسندگان

  • William Thies
  • John Paul Urbanski
  • Todd Thorsen
  • Saman P. Amarasinghe
چکیده

ion Layers for Scalable Microfluidic Biocomputers William Thies, John Paul Urbanski, Todd Thorsen, and Saman Amarasinghe 1 Computer Science and Artificial Intelligence Laboratory 2 Hatsopoulos Microfluids Laboratory Massachusetts Institute of Technology {thies, urbanski, thorsen, saman}@mit.edu Abstract. Microfluidic devices are emerging as an attractive technology for automatically orchestrating the reactions needed in a biological computer. Thousands of microfluidic primitives have already been integrated on a single chip, and recent trends indicate that the hardware complexity is increasing at rates comparable to Moore’s Law. As in the case of silicon, it will be critical to develop abstraction layers—such as programming languages and Instruction Set Architectures (ISAs)—that decouple software development from changes in the underlying device technology. Towards this end, this paper presents BioStream, a portable language for describing biology protocols, and the Fluidic ISA, a stable interface for microfluidic chip designers. A novel algorithm translates microfluidic mixing operations from the BioStream layer to the Fluidic ISA. To demonstrate the benefits of these abstraction layers, we build two microfluidic chips that can both execute BioStream code despite significant differences at the device level. We consider this to be an important step towards building scalable biological computers. Microfluidic devices are emerging as an attractive technology for automatically orchestrating the reactions needed in a biological computer. Thousands of microfluidic primitives have already been integrated on a single chip, and recent trends indicate that the hardware complexity is increasing at rates comparable to Moore’s Law. As in the case of silicon, it will be critical to develop abstraction layers—such as programming languages and Instruction Set Architectures (ISAs)—that decouple software development from changes in the underlying device technology. Towards this end, this paper presents BioStream, a portable language for describing biology protocols, and the Fluidic ISA, a stable interface for microfluidic chip designers. A novel algorithm translates microfluidic mixing operations from the BioStream layer to the Fluidic ISA. To demonstrate the benefits of these abstraction layers, we build two microfluidic chips that can both execute BioStream code despite significant differences at the device level. We consider this to be an important step towards building scalable biological computers.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Abstraction Layers for Scalable

ion Layers for Scalable Microfluidic Biocomputers (Extended Version) William Thies, John Paul Urbanski, Todd Thorsen, and Saman Amarasinghe Abstraction Layers for Scalable Microfluidic Biocomputers (Extended Version∗) William Thies†, John Paul Urbanski§, Todd Thorsen§, and Saman Amarasinghe† †MIT Computer Science and Artificial Intelligence Laboratory §MIT Hatsopoulos Microfluids Laboratory {th...

متن کامل

Abstraction Layers for Scalable Microfluidic

ion Layers for Scalable Microfluidic Biocomputers (Extended Version∗) William Thies†, John Paul Urbanski§, Todd Thorsen§, and Saman Amarasinghe† †MIT Computer Science and Artificial Intelligence Laboratory §MIT Hatsopoulos Microfluids Laboratory {thies, urbanski, thorsen, saman}@mit.edu

متن کامل

Merino: An Intelligent Environment Architecture for Scalable Context Processing

This paper describes the the Merino architecture for scalable management of an intelligent environment. We define requirements for such an architecture. We then review previous work that has informed our design and which has addressed aspects of some of these requirements. The core of the architecture is its abstraction layers: the core Sensors and Device Layers; the next level of abstraction i...

متن کامل

Formal Verification of a Microfluidic Device for Blood Cell Separation

Blood cell separation microdevices are designed in biomedical engineering for separation of cancer cells from blood. The movement of cancer cells particles in a continuous flow microfluidic device is a challenging problem since there are several forces incorporated. For instance, forces due to inertia, gravity, buoyancy, dielectrophoresis and virtual mass are accounted for in this system. Under...

متن کامل

Efficient IPTV Services Delivery using SVC Adaptation and Cooperative Prefetching

1. Introduction As the demand for Internet-based applications grows around the world, Internet Protocol Television (IPTV) has been becoming very popular. Mobile IPTV allows the users to receive multimedia contents over mobile IP networks using unicast, multicast or peer-to-peer (P2P) communications whenever they want and wherever they are. Common Mobile IPTV services include Live TV and Video-o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006